The Structural Theory of Pure Type Systems
نویسندگان
چکیده
We investigate possible extensions of arbitrary given Pure Type Systems with additional sorts and rules which preserve the normalization property. In particular we identify the following interesting extensions: the disjoint union P + Q of two PTSs P and Q, the PTS ∀P.Q which intuitively captures the “Q-logic of P-terms” and PPoly which intuitively denotes the predicative polymorphism extension of P. These results suggest a new approach to the study of the meta-theory of PTSs, by examination of the relationships between different calculi and predicative extensions which allow more expressiveness with equivalent logical strength.
منابع مشابه
Singular Perturbation Theory in Output Feedback Control of Pure-Feedback Systems
This paper studies output feedback control of pure-feedback systems with immeasurable states and completely non-affine property. Since availability of all the states is usually impossible in the actual process, we assume that just the system output is measurable and the system states are not available. First, to estimate the immeasurable states a state observer is designed. Relatively fewer res...
متن کاملStudy of structural effects of binary mixtures of Nitrobenzene and 2-Alcohols
Densities, structural effects and viscosities of binary nonelectrolyte systems including nitrobenzene + 2-propanol, 2-butanol and 2-pentanol at temperatures (293.15 to 323.15) K and normal atmospheric pressure were measured using an Anton-Paar SVM 3000 stabinger viscometer. Excess molar volumes and viscosity deviations Δη were calculated and correlated by the Redlich-Kister equation to estimat...
متن کاملStudy of structural effects of binary mixtures of Nitrobenzene and 2-Alcohols
Densities, structural effects and viscosities of binary nonelectrolyte systems including nitrobenzene + 2-propanol, 2-butanol and 2-pentanol at temperatures (293.15 to 323.15) K and normal atmospheric pressure were measured using an Anton-Paar SVM 3000 stabinger viscometer. Excess molar volumes and viscosity deviations Δη were calculated and correlated by the Redlich-Kister equation t...
متن کاملSTLR: a novel danger theory based structural TLR algorithm
Artificial Immune Systems (AIS) have long been used in the field of computer security and especially in Intrusion Detection systems. Intrusion detection based on AISs falls into two main categories. The first generation of AIS is inspired from adaptive immune reactions but, the second one which is called danger theory focuses on both adaptive and innate reactions to build a more biologically-re...
متن کاملFault Detection Based on Type 2 Fuzzy system for Single-Rod Electrohydraulic Actuator
Electro-hydraulic systems with regards to the their specific features and applications among other industrial systems including mechanical, electrical and pneumatic systems, have been widely taken into consideration by the scientists and researchers. Due to the fact that the electro-hydraulic system is inherently a nonlinear system, has some problems such as signals saturation, nonlinear effici...
متن کاملStrategy, Management Accounting Systems, and Performance of Iranian Petrochemical Companies in the Light of Contingency Theory
In the present business atmosphere, an organization should be able to respond to environmental needs occasioned by rapid and dynamic evolution as quickly as possible. It is obvious that such ability is impossible without a proper strategic approach, strategic thinking, and a suitable management accounting system. This study attempts to investigate the relationships between strategy, management ...
متن کامل